Pseudoautomorphisms of Bruck Loops and Their Generalizations
نویسنده
چکیده
We show that in a weak commutative inverse property loop, such as a Bruck loop, if α is a right [left] pseudoautomorphism with companion c, then c [c] must lie in the left nucleus. In particular, for any such loop with trivial left nucleus, every right pseudoautomorphism is an automorphism and if the squaring map is a permutation, then every left pseudoautomorphism is an automorphism as well. We also show that every pseudoautomorphism of a commutative inverse property loop is an automorphism, generalizing a well-known result of Bruck. A loop (Q, ·) consists of a set Q with a binary operation · : Q×Q → Q such that (i) for all a, b ∈ Q, the equations ax = b and ya = b have unique solutions x, y ∈ Q, and (ii) there exists 1 ∈ Q such that 1x = x1 = x for all x ∈ Q. We denote these unique solutions by x = a\b and y = b/a, respectively. For x ∈ Q, define the right and left translations by x by, respectively, yRx = yx and yLx = xy for all y ∈ Q. That these mappings are permutations of Q is essentially part of the definition of loop. Standard reference in loop theory are [7, 13]. A triple (α, β, γ) of permutations of a loop Q is an autotopism if for all x, y ∈ Q, xα ·yβ = (xy)γ. The set Atp(Q) of all autotopisms of Q is a group under composition. Of particular interest here are the three subgroups Atpλ(Q) = {(α, β, γ) ∈ Atp(Q) | 1β = 1} , Atpμ(Q) = {(α, β, γ) ∈ Atp(Q) | 1γ = 1} , Atpρ(Q) = {(α, β, γ) ∈ Atp(Q) | 1α = 1} . For instance, say, (α, β, γ) ∈ Atpλ(Q). For all x ∈ Q, xα = xα · 1 = xα · 1β = (x1)γ = xγ. Thus α = γ. Set a = 1α. For all x ∈ Q, xα = (1x)α = 1α · xβ = a · xβ Thus α = βLa, and so every element of Atpλ(Q) has the form (βLa, β, βLa) for some a ∈ Q. Conversely, it is easy to see that if a triple of permutations of that form is an autotopism, then 1β = 1. By similar arguments for the other two cases, we have the following characterizations: Atpλ(Q) = Atp(Q) ∩ {(βLa, β, βLa) | β ∈ Sym(Q), a ∈ Q} , Atpμ(Q) = Atp(Q) ∩ {(γR−1 c\1, γL −1 c , γ) | γ ∈ Sym(Q), c ∈ Q} , Atpρ(Q) = Atp(Q) ∩ {(α, αRb, αRb) | α ∈ Sym(Q), b ∈ Q} . Since these special types of autotopisms are entirely determined by a single permutation and an element of the loop, it is customary to focus on those instead of on the autotopisms themselves. This motivates the following definitions. Let Q be a loop. If β ∈ Sym(Q) and a ∈ Q satisfy a · (xy)β = (a · xβ)(yβ) (1) 2010 Mathematics Subject Classification. 20N05.
منابع مشابه
Inner mappings of Bruck loops
K-loops have their origin in the theory of sharply 2-transitive groups. In this paper a proof is given that K-loops and Bruck loops are the same. For the proof it is necessary to show that in a (left) Bruck loop the left inner mappings L(b)L(a)L(ab)−" are automorphisms. This paper generalizes results of Glauberman[3], Kist[8] and Kreuzer[9].
متن کامل1 8 A ug 2 00 9 On Bruck Loops of 2 - power Exponent ∗
We classify " nice " loop envelopes to Bruck loops of 2-power exponent under the assumption that every nonabelian simple section of G is either passive or isomorphic to PSL2(q), q − 1 ≥ 4 a 2-power. The hypothesis is verified in a separate paper. This paper is a continuation of the work by Aschbacher, Kinyon and Phillips on finite Bruck loops [AKP]. In [BS3] we will apply these results and get ...
متن کاملThe Finite Bruck Loops *
We continue the work by Aschbacher, Kinyon and Phillips [AKP] as well as of Glauberman [Glaub1,2] by describing the structure of the finite Bruck loops. We show essentially that a finite Bruck loop X is the direct product of a Bruck loop of odd order with either a soluble Bruck loop of 2-power order or a product of loops related to the groups P SL2(q), q = 9 or q ≥ 5 a Fermat prime. The latter ...
متن کاملA Class of Loops Categorically Isomorphic to Uniquely 2-divisible Bruck Loops
We define a new variety of loops we call Γ-loops. After showing Γ-loops are power associative, our main goal will be showing a categorical isomorphism between uniquely 2-divisible Bruck loops and uniquely 2-divisible Γ-loops. Once this has been established, we can use the well known structure of Bruck loops of odd order to derive the Odd Order, Lagrange and Cauchy Theorems for Γ-loops of odd or...
متن کاملBruck Loops with Abelian Inner Mapping Groups
Bruck loops with abelian inner mapping groups are centrally nilpotent of class at most 2.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012